• вывод данных
• вывод депропанизатора из эксплуатации
• вывод из метатеоремы
• вывод из теоремы
• вывод информации
• вывод линтера
• вывод макроравнения
• вывод следствие